PDF Document

Source URL: www.ics.uci.edu

PDF Document

Source URL: www.cs.technion.ac.il

• Constraint programming
• Relational model
• Conjunctive query
• Database theory
• SQL
• Matching
• FO
• Relational algebra
• Decomposition method
• Theoretical computer science
• Computing
• Computational complexity theory

Multimodal Home Healthcare Scheduling using a novel CP–VND–DP Approach Andrea Rendl, Matthias Prandtstetter, and Jakob Puchinger Mobility Department, Austrian Institute of Technology, Vienna, Austria {andrea.rendl,ma

Source URL: andrearendl.com

• Computer programming
• Mathematical optimization
• Declarative programming
• Nursing
• Systems theory
• Dynamic programming
• Constraint programming
• Operations research
• Software engineering

Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003.

Source URL: www.ics.uci.edu

• Computing
• Constraint satisfaction
• Local consistency
• Constraint logic programming
• Constraint optimization
• Mathematical optimization
• Search algorithm
• AC-3
• Hybrid algorithm
• Constraint programming
• Software engineering
• Computer programming

SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul

Source URL: homepages.laas.fr

• Computer programming
• Local consistency
• Backtracking
• Constraint learning
• Propagator
• Boolean satisfiability problem
• Constraint programming
• Theoretical computer science
• Software engineering

Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK

Source URL: andrearendl.com

• Computer programming
• Computing
• Constraint satisfaction
• Sokoban
• Common subexpression elimination
• Logic programming
• Constraint programming
• Software engineering
• Programming paradigms

4OR manuscript No. (will be inserted by the editor) LocalSolver 1.x A black-box local-search solver for 0-1 programming Thierry Benoist · Bertrand Estellon ·

Source URL: tbenoist.pagesperso-orange.fr

• Operations research
• Software engineering
• Mathematical optimization
• Constraint optimization
• Search algorithm
• Solver
• AMPL
• Local search
• Constraint satisfaction
• Theoretical computer science
• Constraint programming
• Applied mathematics

Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y

Source URL: repository.readscheme.org

• Constraint programming
• Logic programming
• Computability theory
• Lambda calculus
• Theoretical computer science
• Local consistency
• Scheme
• Pseudo-ring
• Clause
• Declarative programming
• Mathematics
• Mathematical logic

Math Words and Ideas Addition Strategies (page 1 of 2) In Grade 4, you are using different strategies to solve addition

Source URL: inside.isb.ac.th

Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance

Source URL: www.comp.nus.edu.sg

• Applied mathematics
• Logic in computer science
• Maximum satisfiability problem
• MAX-3SAT
• Belief propagation
• Conjunctive normal form
• Local search
• WalkSAT
• Local consistency
• Theoretical computer science
• Constraint programming
• Mathematics